Aussagenvariable


Aussagenvariable
(f)
переменная для высказываний, пропозициональная переменная

Немецко-русский математический словарь. 2013.

Смотреть что такое "Aussagenvariable" в других словарях:

  • Aussagenvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… …   Deutsch Wikipedia

  • Variable (Logik) — Variable bezeichnet in der formalen Logik ein „sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können“.[1] Im Gegensatz zu logischen Konstanten haben Variablen „keine selbständige Bedeutung“[2] und sind… …   Deutsch Wikipedia

  • Prädikatvariable — Der Ausdruck Variable bezeichnet in der formalen Logik ein sprachliches Zeichen, für das beliebige Ausdrücke einer bestimmten Art eingesetzt werden können [1]. Variablen sind Platzhalter für die Elemente eines bestimmten Grundbereichs[2]. Im… …   Deutsch Wikipedia

  • Erfüllbarkeitsproblem für quantifizierte boolesche Formeln — In der Komplexitätstheorie ist das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (oft nur kurz QBF oder QSAT) eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es untersucht, ob eine mit Quantoren versehene… …   Deutsch Wikipedia

  • QBF — In der Komplexitätstheorie ist das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (oft nur kurz QBF oder QSAT) eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es untersucht, ob eine mit Quantoren versehene… …   Deutsch Wikipedia

  • QSAT — In der Komplexitätstheorie ist das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (oft nur kurz QBF oder QSAT) eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es untersucht, ob eine mit Quantoren versehene… …   Deutsch Wikipedia

  • Quantifizierte boolesche Formel — In der Komplexitätstheorie ist das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (oft nur kurz QBF oder QSAT) eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es untersucht, ob eine mit Quantoren versehene… …   Deutsch Wikipedia

  • Erfüllbarkeit — ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen. Eine Aussage ist erfüllbar, wenn es eine Belegung (Interpretation, Bewertung) der Variablen gibt, für die der… …   Deutsch Wikipedia

  • Gegenstandsvariable — Die Individuenvariable bezeichnet eine Variable, die als Platzhalter für eine Individuenkonstante, einen Individuennamen steht. Synonyme sind Gegenstandsvariable [1] oder Individualvariable [2]. Symbolisiert werden Individuenvariablen zumeist… …   Deutsch Wikipedia

  • Individualvariable — Die Individuenvariable bezeichnet eine Variable, die als Platzhalter für eine Individuenkonstante, einen Individuennamen steht. Synonyme sind Gegenstandsvariable [1] oder Individualvariable [2]. Symbolisiert werden Individuenvariablen zumeist… …   Deutsch Wikipedia

  • Logische Formel — Der Ausdruck logische Formel bedeutet einen logisch sinnvollen Ausdruck[1]; die formalisierte Darstellung einer Aussage in der Logik[2]; die Darstellung logischer Formen mittels bestimmter Zeichensysteme [3]; den Ausdruck einer Formalen Sprache,… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.